ProvePropertiesLemma